home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / launch / mosml.tpl < prev    next >
Encoding:
Text File  |  1996-07-03  |  488 b   |  29 lines  |  [TEXT/R*ch]
  1. #!/bin/sh
  2.  
  3. stdlib=LIBDIR
  4. includes=""
  5. options=""
  6.  
  7. while : ; do
  8.   case $1 in
  9.     "")
  10.       exec camlrunm $stdlib/mosmltop -stdlib $stdlib $includes $options;;
  11.     -I|-include)
  12.       includes="$includes -I $2"
  13.       shift;;
  14.     -P|-perv)
  15.       options="$options -P $2"
  16.       shift;;
  17.     -stdlib)
  18.       stdlib=$2
  19.       shift;;
  20.     -*)
  21.       echo "Unknown option \"$1\", ignored" >&2;;
  22.     *)
  23.       exec camlrunm $stdlib/mosmltop -stdlib $stdlib $includes $options $* ;;
  24.   esac
  25.   shift
  26. done
  27.  
  28.  
  29.